SHA256 (Bit-Vector-Minimal-1.3.tar.gz) = A5Twm9AEn7//Y1OWXyA9yGA8/GDOvqkroPZ683Fg6vY=
SIZE (Bit-Vector-Minimal-1.3.tar.gz) = 3002
